System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
401	A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2006-10-27 11:28:34 Orbifold Symbol Metalogic Model theory Programming language semantics
402	A SPARK/Ada CubeSat Control Program Carl Brandon1 and Peter Chapin2 1 Vermont Technical College, Randolph Center VT 05061, USA 2 Add to Reading List Source URL: web.vtc.edu Language: English - Date: 2013-05-09 09:08:56 Satellites CubeSat Radio Aurora Explorer AdaCore SPARK Global Positioning System Ada Embedded system Chasqui I Spacecraft Space technology Ada programming language
403	Appoved at PICES XIV (Oct Add to Reading List Source URL: www.pices.int Language: English - Date: 2007-11-15 15:23:18 Programming language theory Integrated Ocean Observing System Intergovernmental Oceanographic Commission Ocean observations ALGOL 68 Software engineering National Oceanic and Atmospheric Administration Computing Oceanography North Pacific Marine Science Organization GOOS
404	POTTER$DKB100:[ROSENBERG.BOOK]DESIGN_BAR_pull_MENU.ps Add to Reading List Source URL: www.openvms.compaq.com Language: English - Date: 2008-03-10 11:54:17 GUI widget Dialog box Menu Open Programming Language Context menu Aqua System software Software Graphical user interface elements
405	Microsoft Word - Ticketing system_v2.docx Add to Reading List Source URL: www.iop.org Language: English - Date: 2015-04-07 09:56:06 Calendaring software Web 2.0 PHP programming language
406	Checking and Inferring Local Non-Aliasing∗ Alex Aiken Jeffrey S. Foster University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-05-30 15:56:06 Type system Type inference Software engineering Theoretical computer science Type theory Programming language theory Program analysis
407	Safe\|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:15 Logic in computer science Functions and mappings Recursion Standard ML FP Type system Denotational semantics Combinatory logic Expression Software engineering Programming language theory Computing
408	Microsoft Word - n1145.doc Add to Reading List Source URL: www.open-std.org Language: English - Date: 2005-10-27 14:08:00 Cross-platform software C programming language C++ C++11 C++ Technical Report 1 C Pointer Robert C. Seacord File system Computing Computer programming Software engineering
409	1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois Pottier Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-09-20 09:57:28 Computing Type inference ML Type system Generalized algebraic data type Hindley–Milner Hindley Lambda calculus Programming language theory Type theory Software engineering
410	Flow-Insensitive Type Qualifiers JEFFREY S. FOSTER University of Maryland, College Park and ROBERT JOHNSON and JOHN KODUMAL University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-02-01 19:06:12 Type safety Type inference Type system Theoretical computer science Type theory Programming language theory Software engineering

UPDATE